$\forall$$A$:Realizer. R{-}Feasible($A$) $\Rightarrow$ R{-}interface{-}compat($A$;$A$)